Device-Independent Quantum Cryptography